Validating Semistructured Data Using OWL
نویسندگان
چکیده
Semistructured data has become prevalent in both web applications and database systems. This rapid growth in use makes the design of good semistructured data essential. Formal semantics and automated reasoning tools enable us to reveal the inconsistencies in a semistructured data model and its instances. The Object Relationship Attribute model for Semistructured data (ORASS) is a graphical notation for designing and representing semistructured data. This paper presents a methodology of encoding the semantics of ORA-SS in the Web Ontology Language (OWL) and automatically validating the semistructured data design using the OWL reasoning tool RACER. Our methodology provides automated consistency checking of an ORA-SS data model at both the schema and instance levels.
منابع مشابه
A Semantic Web Approach to Validating Semistructured Data
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of good semistructured data models is essential. In the relational database area, algorithms have been defined to transform a relational schema from one form to a more suitable form, using algorithms such as normalization, and these algorithms have been shown t...
متن کاملReasoning About ORA-SS Data Models Using the Semantic Web
There has been a rapid growth in the use of semistructured data in both web applications and database systems. Consequently, the design of a good semistructured data model is essential. In the relational database community, algorithms have been defined to transform a relational schema from one normal form to a more suitable normal form. These algorithms have been shown to preserve certain seman...
متن کاملVerifying and Validating Multi-layered Models with OWL FA Toolkit
This paper details the use of OWL FA Toolkit for verifying and validating multi-layered (meta-) modelling using ontologies described in OWL FA. We will show how OWL FA and its reasoner (OWL FA Toolkit) could benefit software modellers on leveraging the software development life cycle through a practical use case.
متن کاملA Z Approach in Validating ORA-SS Data Models
The rapid growth of the World Wide Web has resulted in more data being accessed over the Internet. In turn there is an increase in the use of semistructured data, which plays a crucial role in many web applications particularly with the introduction of XML and its related technologies. This increase in use makes the design of good semistructured data structures essential. The Object Relationshi...
متن کاملThe Cognitive Complexity of OWL Justifications
In this paper, we present an approach to determining the cognitive complexity of justifications for entailments of OWL ontologies. We introduce a simple cognitive complexity model and present the results of validating that model via experiments involving OWL users. The validation is based on test data derived from a large and diverse corpus of naturally occurring justifications. Our contributio...
متن کامل